A Formal Semantics for a Quality of Service Contract Language
نویسندگان
چکیده
منابع مشابه
A Formal Semantics for a Quality of Service Contract Language
Current interests in the context of system development include non-functional aspects of an application and the quality of the service (QoS) it provides. In video on demand applications, for instance, properties such as delay, bandwidth and CPU utilization are monitored in order to identify if they are within acceptable limits. In our approach, non-functional requirements are described by contr...
متن کاملMATINEE: A Quality-of-Service-aware Event Semantics Modeling Language
Distributed event-based systems have risen in significance over the last few years across many different application domains. Still, the configuration of available communication middleware solutions remains a tedious task driven by technical terms and manual performance optimization. We present the Metis Quality-ofservice-aware Semantics Modeling Language (MATINEE), a domain-specific language f...
متن کاملDynamic Categorization of Semantics of Fashion Language: A Memetic Approach
Categories are not invariant. This paper attempts to explore the dynamic nature of semantic category, in particular, that of fashion language, based on the cognitive theory of Dawkins’ memetics, a new theory of cultural evolution. Semantic attributes of linguistic memes decrease or proliferate in replication and spreading, which involves a dynamic development of semantic category. More specific...
متن کاملA Formal Analysis of a Business Contract Language
This paper presents a formal system for reasoning about violations of obligations in contracts. The system is based on the formalism for the representation of contrary-to-duty obligations. These are the obligations that take place when other obligations are violated as typically applied to penalties in contracts. The paper shows how this formalism can be mapped onto the key policy concepts of a...
متن کاملA Formal Semantics for a Language with Type Extension
The purpose of this paper is to give a formal semantics for a language which includes type extension. Used in association with pointer variables, this forms the basis of object-orientation in the languages Oberon and Oberon-2 which have evolved from Modula-2. The focus is on the meaning of assignment because this is the important diierence between such languages and the strongly-typed Pascal fa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2009
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2009.03.029